9.98/10.05	unsat
