24.64/26.23	unsat
