24.04/26.33	unsat
