6.27/7.48	unsat
