4.67/4.77	unsat
