0.39/1.01	unsat
