4.78/5.02	unsat
