24.04/26.32	unsat
