24.05/25.74	unsat
