4.58/5.77	unsat
