14.16/16.91	unsat
