5.57/6.01	unsat
