4.69/4.80	unsat
