5.88/6.44	unsat
