9.48/12.11	unsat
