6.39/6.46	unsat
