10.48/12.05	unsat
