14.17/14.79	unsat
