24.02/25.74	unsat
