5.88/6.55	unsat
