23.72/23.82	unsat
