24.14/26.31	unsat
