8.26/10.72	unsat
