8.88/11.52	unsat
