13.16/13.83	unsat
