20.63/20.70	unsat
