4.18/4.77	unsat
