9.34/12.05	unsat
