4.18/6.01	unsat
