4.77/5.01	unsat
