5.30/7.83	unsat
