7.31/12.81	unsat
