7.27/10.37	unsat
