5.84/5.88	unsat
