5.27/7.90	unsat
