2.90/5.01	unsat
