5.39/5.77	unsat
