5.35/5.83	unsat
