4.79/4.88	unsat
