10.16/10.83	unsat
