5.57/6.21	unsat
