4.70/6.01	unsat
