4.68/5.01	unsat
