13.12/16.83	unsat
