4.77/4.88	unsat
