4.58/5.02	unsat
