13.35/15.70	unsat
