24.52/26.02	unsat
