5.74/5.77	unsat
