6.37/11.37	unsat
