5.88/9.16	unsat
