13.68/16.83	unsat
