8.70/10.32	unsat
