9.48/11.82	unsat
