4.78/4.88	unsat
