3.27/6.01	unsat
