12.47/12.70	unsat
