3.08/4.01	unsat
