5.92/9.16	unsat
