23.08/25.46	unsat
