4.77/4.80	unsat
