14.16/16.63	unsat
