9.57/10.49	unsat
