11.46/12.11	unsat
