2.68/6.44	unsat
