3.93/4.01	unsat
