6.57/6.61	unsat
