5.92/10.31	unsat
