14.17/16.79	unsat
