22.29/25.74	unsat
