7.27/7.34	unsat
