14.96/17.70	unsat
