23.66/23.70	unsat
