4.92/5.02	unsat
