3.68/4.01	unsat
