5.57/6.18	unsat
