14.66/14.70	unsat
