6.37/6.44	unsat
