5.39/5.83	unsat
