5.88/6.58	unsat
