10.51/13.70	unsat
