4.07/6.01	unsat
