23.52/23.70	unsat
