14.27/16.83	unsat
