23.35/25.99	unsat
