12.54/12.70	unsat
