3.79/5.02	unsat
