10.46/12.05	unsat
