4.69/4.77	unsat
