3.90/4.77	unsat
