5.37/6.64	unsat
