4.92/5.01	unsat
