5.57/6.85	unsat
