5.92/7.88	unsat
