7.82/11.48	unsat
