14.27/15.70	unsat
