3.34/5.01	unsat
